%----------------- TEXT -----------------
\subsection*{1.8. French}
Sous les hypothèses de 1.4, soit $V$ un espace vectoriel de dimension finie sur $K$, et $V_0$ un réseau dans $V$, i.e. un sous-$\mathcal{O}$-module libre de $V$ tel que $KV_0 = V$. 

Pour tout homomorphisme $e : \mathcal{O}^n \longrightarrow V$, on appellera valuation $v(e)$ de $e$ le plus grand entier $m$ tel que $e(\mathcal{O}^n) \subset \mathfrak{m}^m V_0$. 

Si $V_0$ et $V_1$ sont deux réseaux, il existe un entier $s$ indépendant de $e$ et $n$ tel que
\begin{equation}
|v_{0}(e) - v_{1}(e)| \leq s. \tag{1.8.1}
\end{equation}

%----------------- TRANSLATION -----------------
\newpage 

\subsection*{1.8. English}
Under the hypotheses of 1.4, let $V$ be a finite-dimensional vector space over $K$, and let $V_0$ be a lattice in $V$, i.e. a free $\mathcal{O}$-submodule of $V$ such that $K V_0 = V$.

For any homomorphism $e : \mathcal{O}^n \longrightarrow V$, we define the valuation $v(e)$ of $e$ to be the largest integer $m$ such that $e(\mathcal{O}^n) \subset \mathfrak{m}^m V_0$.

If $V_0$ and $V_1$ are two lattices, there exists an integer $s$, independent of $e$ and $n$, such that
\begin{equation}
v_{0}(e) - v_{1}(e) \leq s. \tag{1.8.1}
\end{equation}

